Extending the Finite Domain Solver of GNU Prolog

International audienceThis paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representation of sparse domains has been redesigned to overcome its current limitations. The preliminary performance evaluation shows a limited slowdown factor with respect to the initial solver. This factor is widely counterbalanced by the new possibilities and the robustness of the solver. Furthermore these results are preliminary and we propose some directions to limit this overhead

X-Rays from Accelerated Ion Interactions

We have developed in detail the theory of X-ray line and continuum production due to atomic interactions of accelerated ions, incorporating in our calculations information from a broad range of laboratory measurements. We applied our calculations to the Orion region from which nuclear gamma-ray lines were observed with the COMPTEL instrument on CGRO. The accelerated particles which produce this gamma-ray emission via nuclear reactions also produce X-ray lines via atomic interactions. We predict strong line emission in the range from 0.5 to 1 keV, mainly due to de-excitations in fast O ions. While much of the diffuse X-ray emission observed with ROSAT from Orion could be due to accelerated ions, the current X-ray data do not provide unambiguous signatures for such an origin. If future observations with high spectral resolution would confirm the predicted X-rays, the combined analysis of the X-ray and gamma-ray data will set important constraints on the origin of the accelerated particles and their interaction model.Comment: 26 pages, 14 figure

Multi-messenger observations of a binary neutron star merger

On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of ~1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of 40+8-8 Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Mo. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at ~40 Mpc) less than 11 hours after the merger by the One- Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient’s position ~9 and ~16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta

Characterization of the LIGO detectors during their sixth science run

In 2009-2010, the Laser Interferometer Gravitational-wave Observa- tory(LIGO) operated together with international partners Virgo and GEO600 as anetwork to search for gravitational waves of astrophysical origin. Thesensitiv- ity of these detectors was limited by a combination of noise sourcesinherent to the instrumental design and its environment, often localized intime or frequency, that couple into the gravitational-wave readout. Here wereview the performance of the LIGO instruments during this epoch, the work doneto characterize the de- tectors and their data, and the effect that transientand continuous noise artefacts have on the sensitivity of LIGO to a variety ofastrophysical sources

Improved upper limits on the stochastic gravitational-wave background from 2009-2010 LIGO and Virgo data

Paper producido por "The LIGO Scientific Collaboration and the Virgo Collaboration". (En el registro se mencionan solo algunos autores de las decenas de personas que participan).Gravitational waves from a variety of sources are predicted to superpose to create a stochastic background. This background is expected to contain unique information from throughout the history of the Universe that is unavailable through standard electromagnetic observations, making its study of fundamental importance to understanding the evolution of the Universe. We carry out a search for the stochastic background with the latest data from the LIGO and Virgo detectors. Consistent with predictions from most stochastic gravitational-wave background models, the data display no evidence of a stochastic gravitational-wave signal. Assuming a gravitational-wave spectrum of ΩGWðfÞ ¼ Ωαðf=frefÞα, we place 95% confidence level upper limits on the energy density of the background in each of four frequency bands spanning 41.5–1726 Hz. In the frequency band of 41.5–169.25 Hz for a spectral index of α¼ 0, we constrain the energy density of the stochastic background to be ΩGWðfÞ <5.6 × 10−6. For the 600–1000 Hz band, ΩGWðfÞ <0.14ðf=900 HzÞ3, a factor of 2.5 lower than the best previously reported upper limits. We find ΩGWðfÞ <1.8 × 10−4 using a spectral index of zero for 170–600 Hz and ΩGWðfÞ < 1.0ðf=1300 HzÞ3 for 1000–1726 Hz, bands in which no previous direct limits have been placed. The limits in these four bands are the lowest direct measurements to date on the stochastic background. We discuss the implications of these results in light of the recent claim by the BICEP2 experiment of the possible evidence for inflationary gravitational waves.http://journals.aps.org/prl/abstract/10.1103/PhysRevLett.113.231101publishedVersionFil: Aasi, J. LIGO. California Institute of Technology; Estados Unidos de América.Fil: Maglione, C. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Fil: Maglione, C. Argentinian Gravitational Wave Group; Argentina.Fil: Quiroga, G. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Fil: Quiroga, G. Argentinian Gravitational Wave Group; Argentina.Física de Partículas y Campo

First all-sky search for continuous gravitational waves from unknown sources in binary systems

We present the first results of an all-sky search for continuous gravitational waves from unknown spinning neutron stars in binary systems using LIGO and Virgo data. Using a specially developed analysis program, the TwoSpect algorithm, the search was carried out on data from the sixth LIGO Science Run and the second and third Virgo Science Runs. The search covers a range of frequencies from 20 Hz to 520 Hz, a range of orbital periods from 2 to ~2,254 h and a frequency- and period-dependent range of frequency modulation depths from 0.277 to 100 mHz. This corresponds to a range of projected semi-major axes of the orbit from ~0.6e-3 ls to ~6,500 ls assuming the orbit of the binary is circular. While no plausible candidate gravitational wave events survive the pipeline, upper limits are set on the analyzed data. The most sensitive 95% confidence upper limit obtained on gravitational wave strain is 2.3e-24 at 217 Hz, assuming the source waves are circularly polarized. Although this search has been optimized for circular binary orbits, the upper limits obtained remain valid for orbital eccentricities as large as 0.9. In addition, upper limits are placed on continuous gravitational wave emission from the low-mass x-ray binary Scorpius X-1 between 20 Hz and 57.25 Hz.Comment: 16 pages, 6 figure

Methods and results of a search for gravitational waves associated with gamma-ray bursts using the GEO 600, LIGO, and Virgo detectors

Paper producido por "The LIGO Scientific Collaboration and the Virgo Collaboration". (En el registro se mencionan solo algunos autores de las decenas de personas que participan).In this paper we report on a search for short-duration gravitational wave bursts in the frequency range 64 Hz–1792 Hz associated with gamma-ray bursts (GRBs), using data from GEO 600 and one of the LIGO or Virgo detectors. We introduce the method of a linear search grid to analyze GRB events with large sky localization uncertainties, for example the localizations provided by the Fermi Gamma-ray Burst Monitor (GBM). Coherent searches for gravitational waves (GWs) can be computationally intensive when the GRB sky position is not well localized, due to the corrections required for the difference in arrival time between detectors. Using a linear search grid we are able to reduce the computational cost of the analysis by a factor of Oð10Þfor GBM events. Furthermore, we demonstrate that our analysis pipeline can improve upon the sky localization of GRBs detected by the GBM, if a high-frequency GW signal is observed in coincidence. We use the method of the linear grid in a search for GWs associated with 129 GRBs observed satellite-based gamma-ray experiments between 2006 and 2011. The GRBs in our sample had not been previously analyzed for GW counterparts. A fraction of our GRB events are analyzed using data from GEO 600 while the detector was using squeezed-light states to improve its sensitivity; this is the first search for GWs using data from a squeezed-light interferometric observatory. We find no evidence for GW signals, either with any individual GRB in this sample or with the population as a whole. For each GRB we place lower bounds on the distance to the progenitor, under an assumption of a fixed GWemission energy of 10−2M⊙c2, with a median exclusion distance of 0.8 Mpc for emission at 500 Hz and 0.3 Mpc at 1 kHz. The reduced computational cost associated with a linear search grid will enable rapid searches for GWs associated with Fermi GBM events once the advanced LIGO and Virgo detectors begin operation.http://journals.aps.org/prd/abstract/10.1103/PhysRevD.89.122004publishedVersionFil: Aasi, J. LIGO. California Institute of Technology; Estados Unidos de América.Fil: Domínguez, E. Argentinian Gravitational Wave Group; Argentina.Fil: Maglione, C. Argentinian Gravitational Wave Group; Argentina.Fil: Reula, O. Argentinian Gravitational Wave Group; Argentina.Fil: Ortega, W. Argentinian Gravitational Wave Group; Argentina.Fil: Wolovick, N. Argentinian Gravitational Wave Group; Argentina.Fil: Schilman, M. Argentinian Gravitational Wave Group; Argentina.Física de Partículas y Campo

Searches for continuous gravitational waves from nine young supernova remnants

We describe directed searches for continuous gravitational waves in data from the sixth LIGO science data run. The targets were nine young supernova remnants not associated with pulsars; eight of the remnants are associated with non-pulsing suspected neutron stars. One target's parameters are uncertain enough to warrant two searches, for a total of ten. Each search covered a broad band of frequencies and first and second frequency derivatives for a fixed sky direction. The searches coherently integrated data from the two LIGO interferometers over time spans from 5.3-25.3 days using the matched-filtering F-statistic. We found no credible gravitational-wave signals. We set 95% confidence upper limits as strong (low) as $4\times10^{-25}$ on intrinsic strain, $2\times10^{-7}$ on fiducial ellipticity, and $4\times10^{-5}$ on r-mode amplitude. These beat the indirect limits from energy conservation and are within the range of theoretical predictions for neutron-star ellipticities and r-mode amplitudes.Comment: Science summary available at http://www.ligo.org/science/Publication-S6DirectedSNR/index.ph

Multimessenger Search for Sources of Gravitational Waves and High-Energy Neutrinos: Results for Initial LIGO-Virgo and IceCube

We report the results of a multimessenger search for coincident signals from the LIGO and Virgo gravitational-wave observatories and the partially completed IceCube high-energy neutrino detector, including periods of joint operation between 2007-2010. These include parts of the 2005-2007 run and the 2009-2010 run for LIGO-Virgo, and IceCube's observation periods with 22, 59 and 79 strings. We find no significant coincident events, and use the search results to derive upper limits on the rate of joint sources for a range of source emission parameters. For the optimistic assumption of gravitational-wave emission energy of $10^{-2}$\,M$_\odot$c$^2$ at $\sim 150$\,Hz with $\sim 60$\,ms duration, and high-energy neutrino emission of $10^{51}$\,erg comparable to the isotropic gamma-ray energy of gamma-ray bursts, we limit the source rate below $1.6 \times 10^{-2}$\,Mpc$^{-3}$yr$^{-1}$. We also examine how combining information from gravitational waves and neutrinos will aid discovery in the advanced gravitational-wave detector era